Langages politiques, modèles et métaphores corporelles. Propositions historiographiques

Qualité des langages de modélisation et des modèles : vers un catalogue des patrons collaboratifs

The quality of modeling languages and models as well as their evaluation are an important concern for the designer. Moreover, the proliferation of quality concepts’ definition and the large number of works that appear every day, require the structuring and the pooling of knowledge of this field. In this paper, we propose a collaboratif patterns’ system that capitalizes the knowledge on the qual...

Automates infinis, logiques et langages

de révision : Automates et langages

Ces notes de révisions sont destinées aux candidats à l’agrégation de mathématiques qui ont choisi l’option D d’informatique à l’oral. Les notes couvrent (pour l’instant) l’essentiel du programme de l’option en matière d’automates et de langages rationnels, et seront complétées un jour. . . Certaines thématiques largement hors programme sont également abordées : elles sont signalées par le symb...

Lambda-calcul et langages fonctionnels

Ceci est la version 5 de la première partie du cours de lambda-calcul, datant du 22 février 2017. La version 4 datait du 02 juin 2014 (et contenait encore une erreur dans la démonstration du théorème de standardisation). La version 3 datait du 28 janvier 2011 (bizarrement, je n’avais pas remarqué l’erreur présente depuis dix ans dans la démonstration du théorème de standardisation. Merci à Arth...

Mots infinis et langages commutatifs